Pierpaolo Degano：在 Z-Library 上搜索

募捐 9月15日2024 – 10月1日2024 关于筹款

您通往知识和文化的门户。每个人都可以使用。

募捐 9月15日2024 – 10月1日2024

Z-Library 是世界上最大的在线图书馆之一，它拥有超过17,000,000的书籍和84,837,000的文章。我们的目标是让每个人都能获得文学作品. 今天(9月15日2024)，我们又发起了一个募捐活动，以支持和发展这个项目.

同时无限下载 (捐款后31日内) 可适与所有在10月1日2024之前进行捐款的用户.

关于筹款更多

书籍 (30)
最受欢迎
- 分类方式×
- 最受欢迎
- 最佳吻合
- 最近添加
- 按名称 (A-Z)
- 按名称 (Z-A)
- 按年份
- 文件大小↓
- 文件大小↑
列表
- 列表
- 表格

1

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Springer-Verlag Berlin Heidelberg

Rocco De Nicola, Pierpaolo Degano, José Meseguer (auth.), Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.)

年:

2008

语言:

english

文件:

PDF, 10.15 MB

0 / 0

english, 2008

2

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Springer-Verlag Berlin Heidelberg

Rocco De Nicola, Pierpaolo Degano, José Meseguer (auth.), Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.)

年:

2008

语言:

english

文件:

PDF, 24.22 MB

0 / 0

english, 2008

3

Computer Information Systems and Industrial Management: 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012. Proceedings

Computer Information Systems and Industrial Management: 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta (auth.), Agostino Cortesi, Nabendu Chaki, Khalid Saeed, Sławomir Wierzchoń (eds.)

年:

2012

语言:

english

文件:

PDF, 18.25 MB

0 / 0

english, 2012

4

Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings

Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Xavier Leroy (auth.), Pierpaolo Degano (eds.)

年:

2003

语言:

english

文件:

PDF, 3.64 MB

0 / 0

english, 2003

5

Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings

Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings

Springer-Verlag Berlin Heidelberg

Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari (auth.), Roberto Gorrieri, Heike Wehrheim (eds.)

年:

2006

语言:

english

文件:

PDF, 3.98 MB

0 / 0

english, 2006

6

Computational Methods in Systems Biology

Computational Methods in Systems Biology

Pierpaolo Degano, Roberto Gorrieri

年:

2009

语言:

english

文件:

PDF, 6.64 MB

0 / 0

english, 2009

7

Computational Methods in Systems Biology: 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings

Computational Methods in Systems Biology: 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Lisa Bartoli, Pier Luigi Martelli, Ivan Rossi (auth.), Pierpaolo Degano, Roberto Gorrieri (eds.)

年:

2009

语言:

english

文件:

PDF, 7.42 MB

0 / 0

english, 2009

8

Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers

Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Anindya Banerjee (auth.), Pierpaolo Degano, Joshua D. Guttman (eds.)

年:

2010

语言:

english

文件:

PDF, 3.48 MB

0 / 0

english, 2010

9

Programming Languages with Applications to Biology and Security

Programming Languages with Applications to Biology and Security

Imprint: Springer, Springer International Publishing

Bodei, Chiara, Degano, Pierpaolo, Ferrari, Gian-Luigi, Priami, Corrado

年:

2015

语言:

english

文件:

EPUB, 6.61 MB

0 / 0

english, 2015

10

Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers

Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Anindya Banerjee (auth.), Pierpaolo Degano, Joshua D. Guttman (eds.)

年:

2010

语言:

english

文件:

PDF, 3.11 MB

0 / 0

english, 2010

11

Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers

Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Dusko Pavlovic (auth.), Pierpaolo Degano, Sandro Etalle, Joshua Guttman (eds.)

年:

2011

语言:

english

文件:

PDF, 2.86 MB

0 / 0

english, 2011

12

Formal Aspects in Security and Trust: 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008 Revised Selected Papers

Formal Aspects in Security and Trust: 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008 Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Gilles Barthe, Benjamin Grégoire, Sylvain Heraud (auth.), Pierpaolo Degano, Joshua Guttman, Fabio Martinelli (eds.)

年:

2009

语言:

english

文件:

PDF, 5.37 MB

0 / 0

english, 2009

13

Principles of Security and Trust: First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

Principles of Security and Trust: First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

Springer-Verlag Berlin Heidelberg

Cynthia Dwork (auth.), Pierpaolo Degano, Joshua D. Guttman (eds.)

年:

2012

语言:

english

文件:

PDF, 5.38 MB

0 / 5.0

english, 2012

14

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Springer-Verlag Berlin Heidelberg

Rocco De Nicola, Pierpaolo Degano, José Meseguer (auth.), Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.)

年:

2008

语言:

english

文件:

PDF, 23.45 MB

0 / 4.0

english, 2008

15

Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

Springer-Verlag Berlin Heidelberg

Andrea Degasperi, Stephen Gilmore (auth.), Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro (eds.)

年:

2008

语言:

english

文件:

PDF, 11.98 MB

0 / 0

english, 2008

16

Computer Information Systems and Industrial Management: 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012. Proceedings

Computer Information Systems and Industrial Management: 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta (auth.), Agostino Cortesi, Nabendu Chaki, Khalid Saeed, Sławomir Wierzchoń (eds.)

年:

2012

语言:

english

文件:

PDF, 22.42 MB

0 / 0

english, 2012

17

Principles of Security and Trust: First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

Principles of Security and Trust: First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

Springer-Verlag Berlin Heidelberg

Cynthia Dwork (auth.), Pierpaolo Degano, Joshua D. Guttman (eds.)

年:

2012

语言:

english

文件:

PDF, 4.72 MB

0 / 0

english, 2012

18

Automata, Languages and Programming: 24th International Colloquium, ICALP '97 Bologna, Italy, July 7–11, 1997 Proceedings

Automata, Languages and Programming: 24th International Colloquium, ICALP '97 Bologna, Italy, July 7–11, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Robin Milner (auth.), Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela (eds.)

年:

1997

语言:

english

文件:

DJVU, 10.31 MB

0 / 0

english, 1997

19

Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers

Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Adedayo O. Adetoye, Atta Badii (auth.), Pierpaolo Degano, Luca Viganò (eds.)

年:

2009

语言:

english

文件:

PDF, 2.60 MB

0 / 0

english, 2009

20

Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ... Computer Science Security and Cryptology)

Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ... Computer Science Security and Cryptology)

Pierpaolo Degano, Luca Viganò

年:

2009

语言:

english

文件:

PDF, 3.16 MB

0 / 0

english, 2009

21

International Symposium on Programming: 5th Colloquium Turin, April 6–8, 1982 Proceedings

International Symposium on Programming: 5th Colloquium Turin, April 6–8, 1982 Proceedings

Springer-Verlag Berlin Heidelberg

Marco Bellia, Pierpaolo Degano, Giorgio Levi (auth.), Mariangiola Dezani-Ciancaglini, Ugo Montanari (eds.)

年:

1982

语言:

english

文件:

DJVU, 3.78 MB

0 / 0

english, 1982

22

Computational Methods in Systems Biology: 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings

Computational Methods in Systems Biology: 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Lisa Bartoli, Pier Luigi Martelli, Ivan Rossi (auth.), Pierpaolo Degano, Roberto Gorrieri (eds.)

年:

2009

语言:

english

文件:

PDF, 7.47 MB

0 / 0

english, 2009

23

Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers

Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Adedayo O. Adetoye, Atta Badii (auth.), Pierpaolo Degano, Luca Viganò (eds.)

年:

2009

语言:

english

文件:

PDF, 2.66 MB

0 / 0

english, 2009

24

Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings

Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Xavier Leroy (auth.), Pierpaolo Degano (eds.)

年:

2003

语言:

english

文件:

PDF, 24.06 MB

0 / 0

english, 2003

25

Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

Springer-Verlag Berlin Heidelberg

Andrea Degasperi, Stephen Gilmore (auth.), Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro (eds.)

年:

2008

语言:

english

文件:

PDF, 26.73 MB

0 / 0

english, 2008

26

Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers

Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Anindya Banerjee (auth.), Pierpaolo Degano, Joshua D. Guttman (eds.)

年:

2010

语言:

english

文件:

PDF, 3.05 MB

0 / 0

english, 2010

27

Formal Aspects in Security and Trust: 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008 Revised Selected Papers

Formal Aspects in Security and Trust: 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008 Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Gilles Barthe, Benjamin Grégoire, Sylvain Heraud (auth.), Pierpaolo Degano, Joshua Guttman, Fabio Martinelli (eds.)

年:

2009

语言:

english

文件:

PDF, 3.91 MB

0 / 0

english, 2009

28

Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers

Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Dusko Pavlovic (auth.), Pierpaolo Degano, Sandro Etalle, Joshua Guttman (eds.)

年:

2011

语言:

english

文件:

PDF, 2.82 MB

0 / 0

english, 2011

29

Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers

Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Adedayo O. Adetoye, Atta Badii (auth.), Pierpaolo Degano, Luca Viganò (eds.)

年:

2009

语言:

english

文件:

PDF, 3.77 MB

0 / 0

english, 2009

30

International Symposium on Programming: 5th Colloquium Turin, April 6–8, 1982 Proceedings

International Symposium on Programming: 5th Colloquium Turin, April 6–8, 1982 Proceedings

Springer-Verlag Berlin Heidelberg

Marco Bellia, Pierpaolo Degano, Giorgio Levi (auth.), Mariangiola Dezani-Ciancaglini, Ugo Montanari (eds.)

年:

1982

语言:

english

文件:

PDF, 9.68 MB

0 / 0

english, 1982